1. Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings
پدیدآورنده : Dragan Bosnacki, Stefan Leue ]eds.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، SPIN )Computer file(,Congresses ، Computer software -- Verification
رده :
QA
76
.
L28
Vol
.
2318